../../../examples/pennant.cc